요약 : RISC-V 사용자 수준 ISA에 대한 최종 참조 또는 참조 구현은 무엇입니까? 컨텍스트 : RISC-V 웹 사이트에는 사용자 수준의 지침을 매우 잘 설명하는 "RISC-V 명령어 세트 매뉴얼"이 있지만 정확한 사양을 제공하지는 않습니다. 지금은 사용자 수준의 ISA 시뮬레이터를 구축하고 나중에 FPGA 구현을 작성하려고하므로 정확한 동작이 중요합니다. 참조 구현으로 충분하지만 가능한 한 간단해야합니다. 즉, 파이프 라인 구현을 최후의 수단으로 만 이해하려고합니다. 중요한 것은 단일 CPU 구현이나 컴파일러 구현이 아니라 지정된 ISA를 이해하는 것입니다. 내 문제를 보여주는 한 가지 예는 AUIPC 명령입니다. 산문 설명에 따르면 "AUIPC는 20 비트 U-immediate에서 32 비트 오프셋을 형성하여 가장 낮은 12 비트를 0으로 채우고이 오프셋을 pc에 추가 한 다음 결과를 레지스터 rd에 넣습니다. " 이것이 이전 PC인지 새 PC인지, 즉 AUIPC 명령어의 위치인지 다음 명령어인지 알고 싶었습니다. 나는 "RISCV Angel"구현을 살펴 보았지만, 그것은 (이전) PC의 하위 비트를 가리는 것 같습니다.-즉각적인 것뿐만 아니라-스펙에서도 이유를 찾을 수 없었습니다. 사양의 변경 내역 (Angel이 조금 더 오래 되었기 때문에). 대답 대신 AUIPC에 대한 두 가지 질문이 있습니다. 다른 많은 지침이 나에게 비슷한 문제를 제기합니다.
2021-01-16 08:16:13
당신이 인용 한 RISC-V Instruction Set Manual을 AFAICT하는 것은 확실한 참조에 가장 가까운 것입니다. 불분명하거나 잘못된 것이있는 경우 해당 문서가 유지되는 Github 사이트에서 문제를 열 수 있습니다. https://github.com/riscv/riscv-isa-manual
AIUPC에 관한 한 대답은 현재 매뉴얼의 9 페이지 하단에있는 다음 문장에 의해 암시되지만 명시 적으로 언급되지는 않습니다.
사용자가 볼 수있는 추가 레지스터가 하나 있습니다. 프로그램 카운터 pc는 현재 명령어의 주소를 보유합니다.
이 진술을 기반으로 AIUPC 명령에 의해보고 조작되는 pc 값이 AIUPC 명령 자체의 주소라고 예상합니다.
이 해석은 JALR 명령어에 대한 설명으로 뒷받침됩니다.
간접 점프 명령어 JALR (점프 및 링크 레지스터)은 I 유형 인코딩을 사용합니다. 대상 주소는 12 비트 부호있는 I-immediate를 레지스터 rs1에 추가 한 다음 결과의 최하위 비트를 0으로 설정하여 얻습니다. 점프 다음 명령어의 주소 (pc + 4)는 레지스터 rd에 기록됩니다.
다음 명령어의 주소가 pc + 4로 표현된다는 점을 감안할 때 JALR 실행 중에 표시되는 pc 값은 JALR 명령어 자체의 주소라는 것이 분명해 보입니다.
매뉴얼의 최신 초안 (https://github.com/riscv/riscv-isa-manual/releases/download/draft-20190321-ba17106/riscv-spec.pdf)은 상황을 약간 더 명확하게합니다. 현재 매뉴얼에서이 대신 :
AUIPC는 20 비트 U-immediate에 하위 0 비트 12 개를 추가하고 결과를 64 비트로 부호 확장 한 다음 pc에 추가하고 결과를 레지스터 rd에 배치합니다.
최신 초안은 다음과 같이 말합니다.
AUIPC는 20 비트 U-immediate에서 32 비트 오프셋을 형성하여 가장 낮은 12 비트를 0으로 채우고이 오프셋을 AUIPC 명령어의 pc에 추가 한 다음 결과를 레지스터 rd에 배치합니다.
|
너의 답
StackExchange.ifUsing ( "editor", function () {
StackExchange.using ( "externalEditor", function () {
StackExchange.using ( "snippets", function () {
StackExchange.snippets.init ();
});
});
}, "코드 스 니펫");
StackExchange.ready (function () {
var channelOptions = {
태그 : "".split ( ""),
id : "1"
};
initTagRenderer ( "". split ( ""), "".split ( ""), channelOptions);
StackExchange.using ( "externalEditor", function () {
// 스 니펫이 활성화 된 경우 스 니펫 후에 편집기를 실행해야합니다.
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ( "snippets", function () {
createEditor ();
});
}
else {
createEditor ();
}
});
function createEditor () {
StackExchange.prepareEditor ({
useStacksEditor : false,
heartbeatType : '답변',
autoActivateHeartbeat : false,
convertImagesToLinks : true,
noModals : true,
showLowRepImageUploadWarning : true,
scoreToPostImages : 10,
bindNavPrevention : true,
접미사 : "",
imageUploader : {
brandingHtml : "Powered by \ u003ca href = \"https : //imgur.com/ \ "\ u003e \ u003csvg class = \"svg-icon \ "width = \"50 \ "height = \"18 \ "viewBox = \ "0 0 50 18 \"fill = \ "none \"xmlns = \ "http : //www.w3.org/2000/svg \"\ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.6931182C47.4335 4.61182 46.7256 4.52513.6307884.65959531 43.5251. 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \"M32.492 10.1419C32.492 12.697954 34.104182 14.0484 37.0451 14.0484 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.5455C35.8209 11.5455 35.4954 10.8 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \"evenodd \ "clip-rule = \"evenodd \ "d = \ "M25.6622 17.6335C27.8049 17.6335 29.3739 16.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.66231 4.66231C28.9913 4.66231 28. .1369 4.56087 21.0134 6.57349 21.0134 9.27932C21.0134 11.9852 23.003 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C28.1256 12.8854 28.1301 12.9839342 15.1301 25. 15.2321 24.1352 14.9821 23.5661 14.7787C23.176 14.6393 22.8472 14.5218 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.628335ZM24.1317 9.27932C24.1317 7.94324 7.0932C24.1317 7.94324 27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 10.6321 27.2311 11.511626.1024 11.5116C24.9737 11.5116 24.1317 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \"M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.828V 11.802879 13.2566 19.808. . 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9. 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7. 9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z / \ u003e \ u003cpath d = M3.31675 6.59049C3.31675 5.28821 2.83866 4.66232 1.82471 4.66232C0 .791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59049Z \ "/ u003e \ u003.82012001 0,09M1. 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.7234 1.98861C3.7234 1.1159 2.90056 0.400291 1.87209 0.400291Z \ "fill = \"# 1BB76E \ "/ \ u003e \ u003c / s / u003e \ u003c / s ,
contentPolicyHtml : "\ u003ca href = \"https : //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \"https://stackoverflow.com / 법적 / 콘텐츠 정책 \ "\ u003e (콘텐츠 정책) \ u003c / a \ u003e",
allowUrls : true
},
onDemand : true,
폐기 선택기 : ".discard-answer"
, immediatelyShowMarkdownHelp : true, enableTables : true, enableSnippets : true
});
}
});
Stack Overflow에 대한 답변에 기여해 주셔서 감사합니다!
질문에 반드시 답해주십시오. 세부 사항을 제공하고 연구를 공유하십시오!
하지만 피하세요 ...
도움, 설명을 요청하거나 다른 답변에 응답합니다.
의견에 근거한 진술 작성 참고 자료 또는 개인적인 경험으로 백업하십시오.
자세한 내용은 훌륭한 답변 작성에 대한 팁을 참조하십시오.
초안 저장
초안이 삭제되었습니다.
가입 또는 로그인
StackExchange.ready (함수 () {
StackExchange.helpers.onClickDraftSave ( '# 로그인 링크');
});
Google을 사용하여 가입
Facebook을 사용하여 가입
이메일 및 비밀번호를 사용하여 가입
제출
게스트로 게시
이름
이메일
필수이지만 표시되지 않음
StackExchange.ready (
함수 () {
StackExchange.openid.initPostLogin ( '. New-post-login', 'https % 3a % 2f % 2fstackoverflow.com % 2fquestions % 2f55314747 % 2frisc-v-user-level-reference-or-reference-implementation % 23new-answer' , 'question_page');
}
);
게스트로 게시
이름
이메일
필수이지만 표시되지 않음
답변 게시
포기
"답변 게시"를 클릭하면 서비스 약관, 개인 정보 보호 정책 및 쿠키 정책에 동의하게됩니다.
찾고있는 답변이 아닙니까? riscv 태그가 붙은 다른 질문을 찾아 보거나 직접 질문하십시오.